目录 第一章 命题逻辑 A 内容提要 B 选题例解 C 习题与解 第二章 谓词逻辑 A 内容提要 B 选题例解 C 习题与解 第三章 集合与关系 A 内容提要 B 选题例解 C 习题与解 第四章 函数 A 内容提要 B 选题例解 C 习题与解 第五章 代数结构 A 内容提要 B 选题例解 C 习题与解 第六章 格和布尔代数 A 内容提要 B 选题例解 C 习题与解 第七章 图论 A 内容提要 B 选题例解 C 习题与解 第八章 形式语言与自动机 A 内容提要 B 选题例解 C 习题与解 第九章 纠错码初步 A 内容提要 B 选题例解 C 习题与解 参考文献

《离散数学》起源于高等教育出版社1998年出版的《离散数学》，是教育部高等学校“九五”规划教材，2004年作为“十五”规划教材出版了修订版。作为 “十一五”规划教材，根据教育部计算机科学与技术专业教学指导委员会提出的《计算机科学与技术专业规范》（CCC2005）的教学要求，本教材对内容进行了较多的调整与更新。 《离散数学》分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论等六个部分。全书既有严谨的、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化组织，可以适应不同的教学要求。与《离散数学》配套的电子教案和习题辅导用书随后将陆续推出。 《离散数学》可以作为普通高等学校计算机科学与技术专业不同方向的本科生的离散数学教材，也可以供其他专业学生和科技人员阅读参考。

本书包括组合、图论及它们在优化和编码等领域的应用。全书只有约300页，但涵盖了信息领域一些广泛而有趣的应用，及离散数学领域新颖而前沿的研究课题。 本书非常适合计算机科学、信息与计算科学等专业作为“离散数学”引论课程的教材或参考书。

本书针对本科离散数学课程的要点和关键问题，深入浅出地介绍了数理逻辑、集合论、图论、代数结构和布尔代数、网络模型、组合数学理论和算法等与计算机科学密切相关的问题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，本书叙述严谨，推演详尽。各章配有习题，可为读者迅速掌握有关知识提供有效的帮助。

本书是一版的基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。有与本书配套的电子教案与学习指导与习题解析。 本书可以作为普通高等学校计算机科学与技术专业、软件工程专业、计算机应用专业、信息与计算科学专业等本科生离散数学课程的教材，也可以供其他专业学生和科技人员阅读参考。

《离散数学（原书第5版）》是一本优秀的离散数学入门教材，主要内容包括集合、关系、函数、编码理论、图、树、匹配、网络流、计数技术、递推关系与生成函数、组合电路和有限状态机等。本书充分考虑到了初学者的需要，叙述浅显易懂，内容、例题、习题都进行了精心的挑选和组织，讲解细致，循序渐进。可作为高等院校计算机专业或其他相关专业的离散数学教材或教学参考书，也可作为自学者的参考书。

《离散数学(第5版)》包括数理逻辑、集合论、图论、组合分析初步、代数结构和形式语言与自动机初步等6个方面的内容。书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应用，而不着重于定理的证明。每章后均附有习题，建议学时60～80。

本书第一版于1998年出版，是教育部高等学校"九五"规划教材和面向21世纪课程教材。此次修订在保持原有四部分内容(数理逻辑、集合论、代数结构和图论)的基础上，增加了相当数量的难度不同的练习题，并结合教学需要引入了一部分新的应用实例。 本书被列为普通高等教育"十五"国家级规划教材。与本书配套设计的网络课程、电子教案和习题辅导用书即将陆续推出。它们的有机配合可以满足不同教学环节的需求，构成全新的立体化系列教材。 本书可作为普通高等学校计算机及其他相关专业本科生离散数学课程的教材，也可供其他专业学生和工作人员阅读和参考。

《离散数学(第3版)》包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）代数结构；（4）图论；（5）组合分析初步；（6）形式语言与自动机初步。书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后均附有习题，建议学时60-80。 《离散数学(第3版)》可以作为计算机及相关专业本科生的教材，也可以作为计算机软件专业水平考试的参考书，同时还可以供从事计算机软件、硬件研究开发和应用的人员使用，另有配套教材《离散数学题解》。 《离散数学(第3版)》获得2001年北京市教育教学成果（高等学校）一等奖。

《离散数学》是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。